PERIODICITY OF GNAT BITES

GNAT Reference Manual

GNAT Reference Manual

GNAT Reference Manual

Periodicity and Almost-periodicity

Towards Certification of Object-Oriented Code with the GNAT Compiler

Dynamic binding, the ability to link at runtime a method call with a subprogram that depends on the class of the object, is strongly discouraged by current standards for avionics airborne systems. This is partly due to dynamic dispatching, the technique commonly used by most OO compilers to implement dynamic binding. In this paper we present some enhancements to the GNAT technology that will he...